Benjamin Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin Pierce
Results: 75

#	Item
31	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science
32	Differential Privacy for Collaborative Security Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith University of Pennsylvania ABSTRACT Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-02-08 01:09:01 Computer network security Spamming Data privacy Differential privacy Botnet Privacy Internet privacy Information privacy Internet Relay Chat Computing Multi-agent systems Ethics
33	A Bisimulation for Dynamic Sealing Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2004-10-25 16:21:02 Lambda calculus Computability theory Fixed-point combinator Π-calculus Valuation Combinatory logic Theoretical computer science Mathematics Applied mathematics
34	Manifest Security for Distributed Information Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania March 6, 2006 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-03-07 09:37:45 Deduction Propositional calculus Philosophical logic Logical consequence Information flow Entailment Modal logic Computer security Soundness Logic Mathematical logic Proof theory
35	The Weird World of Bi-Directional Programming Benjamin C. Pierce Microsoft Research, Cambridge (on leave from University of Pennsylvania) Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-03-29 10:51:42
36	Symmetric Lenses Martin Hofmann Benjamin Pierce January 27, 2011 Add to Reading List Source URL: dmwit.com Language: English - Date: 2011-01-31 15:32:59 Burrito Bancilhon North American cuisine Boomerang Cuisine Food and drink
37	On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-22 07:18:48 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory
38	Contracts Made Manifest Michael Greenberg Benjamin C. Pierce Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Formal methods Entailment Logical consequence Metalogic Symbol Function Lambda calculus Linear temporal logic Logic Mathematics Deduction
39	Reactive Noninterference Aaron Bohannon Benjamin C. Pierce Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:04 Quantum complexity theory Circuit complexity NC Valuation Ch PP Activity Entailment Theoretical computer science Computational complexity theory Logic
40	Edit Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: dmwit.com Language: English - Date: 2011-11-12 16:54:07 Monoid Differential equation Camera lens Mathematical analysis Differentiation rules Integral calculus Mathematics Semigroup theory Category theory